Project-Team:ABSTRACTION

Project-Team Abstraction

Members

Overall Objectives

Overall Objectives
Highlights of the Year

Research Program

Abstract Interpretation Theory
Formal Verification by Abstract Interpretation
Advanced Introductions to Abstract Interpretation

Application Domains

Certification of Safety Critical Software
Abstraction of Biological Cell Signaling Networks

Software and Platforms

The Apron Numerical Abstract Domain Library
The Astrée Static Analyzer of Synchronous Software
The AstréeA Static Analyzer of Asynchronous Software
The MemCAD static analyzer
A New Tactic Engine for Coq
FuncTion: An Abstract Domain Functor for Termination
The OpenKappa Modeling Plateform
Translation Validation
Zarith

New Results

Analysis of Biological Pathways
Andromeda: Accurate and Scalable Security Analysis of Web Applications
Backward analysis
Bisimulation metrics
A Constraint Solver Based on Abstract Domains
A Galois Connection Calculus for Abstract Interpretation
Mechanically Verifying a Shape Analysis
Modular Construction of Shape-Numeric Analyzers
Reduced Product Combination of Abstract Domains for Shapes
Relational Thread-Modular Static Value Analysis
Static Analyzers on the Cloud
Termination

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2013 | Presentation of the Project-Team ABSTRACTION


	PDF	e-Pub

Previous |

Home | Next next

Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

License agreement

Astrée

In February 2009 was signed an exploitation license agreement between CNRS, École Normale Supérieure, and AbsInt Angewandte Informatik GmbH for the industrialization of the Astrée analyzer. Astrée is commercially available from AbsInt since January 2010. Continuous work goes on to adapt the Astrée static analyzer to industrial needs, in particular for the automotive industry. Radhia Cousot is the scientific contact.

Previous |

Home | Next next